…ing test case for rewrite rules in different packages.

…file for import type instance

… compared to the original file and format issue when inserting build-depends and ghc-option in the end of the file. In addition, also updating the extension we need to check when reading file. Lastly, updating uninterpreted for dealing with free types and data constructor.

… expr

… expr

…at are free

…at are free

…dified in types and expr

…pped